Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)

ABSTRACT This is a continuing attempt in a series of papers [KM 93, Mur 93, Mur 96] to show how computer-represented knowledge can be arranged as elements of an effectively represented semantic (or algebraic) domain in the sense of [GS 90]. We present a direct deductive description of the domain, which was defined semantically in [KM 93], via the Scott's notion of information system. Also, the internal structure of the continuous ampliative operations coordinated with the domain's effective basis is established. (...) Though we always remain in the paradigm of the toleration of contradictory information described in [Bel 75, Bel 76], the approach in question could be extended to include domains for consistency knowledge bases. (shrink)

The article is devoted to the analysis of “psychological” argument for the existence of God of Viktor Nesmelov, professor of Kazan Theological Academy, represented in his fundamental work “Science of Man”. The main interpretations of this argument, formulated both contemporaries of Nesmelov ) and modern researchers of his legacy are considered. The basic prerequisites and origins of Nesmelov’s anthropological doctrine are analyzed. The main of them were V. Snegiryov’s psychological doctrine and anthropological ideas of St. Gregory of Nyssa. The main (...) ideas of Nesmelov’s Christian anthropology, related directly to his formulation of “the idea of God”, etc.) are revealed. Besides that, Nesmelov’s criticism of the main existing arguments for the existence of God is analyzed. The main conclusion based on the analysis of Nesmelov’s anthropological system is made: his argument for the existence of God represents rather a methodological program for creating such argument in the future. The base of this argument should be made of not only by an “ abstract knowledge”, but the “living worldview” and the “living unity of God and man”. (shrink)

У статті, на прикладі дослідження наукової тематики кафедри, висвітлюється можливі механізми оцінки інноваційного потенціалу наукової установ та її складових частин. Підкреслюється необхідність розвитку науки, як життєво необхідного фактору для нормальної роботи всіх сфер держави, а також створення найбільш комфортних соціально-побутових умов для населення, відповідно до європейського рівня розвитку суспільства. Метою дослідження є розробка методичних положень щодо оцінки інноваційного потенціалу наукової діяльності наукових установ, як фактора збільшення інвестиційної вартості науки на ринку наукових послуг України. Завданнями є: узагальнення особливостей інноваційного потенціалу наукових (...) установ ; формулювання теоретичних визначень інноваційного потенціалу, інноваційної діяльності; обґрунтування необхідності моделювання процесів оцінювання інноваційного потенціалу наукової діяльності тощо. Виходячи з актуальності обраної теми ставиться мета, формулюються завдання. Методологічну основу дослідження складає сукупність загальновизнаних принципів та методів наукового пізнання. Для отримання наукових результатів застосовувалися загальнонаукові принципи та підходи, які забезпечили єдність аналізу, історизм, об’єктивність дослідження тощо. Робиться висновок про те, що надійне та ефективне застосування наукових розробок у багатьох сферах є основою поступального розвитку економіки країни та представляє невід’ємну складову забезпечення цивілізованих умов життя всіх її громадян. Пропонується ряд змін до чинного законодавства, а саме до Закону України «Про наукову та науково-технічну експертизу», «Про державне регулювання діяльності у сфері трансферу технологій». Зауважується на тому, що на тлі змін ролі науки і техніки та високих технологій в житті людства питання вивчення інноваційного потенціалу науки набувають особливої актуальності. Та незважаючи на великий інтерес до усебічного вивчення напрямів розвитку науки, до сих пір не врегульовано єдиних загальних підходів до його оцінювання. (shrink)

We investigate particular cosmological models, based either on tachyon fields or on perfect fluids, for which soft future singularities arise in a natural way. Our main result is the description of a smooth crossing of the soft singularity in models with an anti-Chaplygin gas or with a particular tachyon field in the presence of dust. Such a crossing is made possible by certain transformations of matter properties. We discuss and compare also different approaches to the problem of crossing of the (...) Big Bang–Big Crunch singularities. (shrink)

In this study, we examine the nature of the relationship between ethical leadership and unethical pro-organizational behavior (UPB), defined as unethical behavior conducted by employees with the aim of benefiting their organization, and whether the strength of the relationship differs between subordinates experiencing high and low identification with supervisor. Based on three-wave survey data obtained from 239 public sector employees in China, we find that ethical leadership has an inverted u-shaped (curvilinear) relationship with UPB. As the level of ethical leadership (...) increases from low to moderate, UPB increases; as the level of ethical leadership increases from moderate to high, UPB decreases. Further, we find that the strength of this inverted u-curve relationship differs between subordinates with high and low identification with supervisor. That is to say, the inverted u-shaped relationship between ethical leadership and UPB was stronger when subordinates experienced high levels of identification with supervisor. The theoretical and managerial implications of our findings for understanding how to manage UPB in an organizational context are discussed. (shrink)

Recent work indicates that there are distinct response habituation mechanisms that can be recruited by different stimulation rates and that can underlie different components (e.g., the duration or speed) of a single behavioral response. These findings raise the question: why is “the simplest form of learning” so complicated mechanistically? Beyond evolutionary selection for robustness of plasticity in learning to ignore, it is proposed in this article that multiple mechanisms of habituation have evolved to streamline shifts in ongoing behavioral strategy. Then, (...) speculations are offered regarding the implications of this reconceptualization of habituation for approaching the analysis of mechanisms of more complex forms of learning and memory. (shrink)

The main article is devoted to the historical and philosophical reconstruction of controversy between Vladimir Solovyov and the authors of the “Faith and Reason” - a magazine of the Kharkov Theological Seminary. This controversy took its place in the “theological and journalistic” or the “theocratic” period of Solovyov’s works. Particular attention is paid to the disputes of Solovyov and T. Stoyanov, A.P. Shost'in and the French Orthodox priest Fr. Vladimir Gette on the theory of dogmatic development in the church. In (...) the context of this controversy, the arguments for the “defense” of Solovyov's position, cited in the magazine “Orthodox Review” by a theologian and Konstantin Leontyev's follower Ivan Kristi are also analyzed. The reception of Solovyov's theocratic ideas and reaction to his ecclesiastical views in both the Catholic and Orthodox circles of Russian and Western society is shown. Especially it concerns the criticism of Solovyov’s ideas in the pages of the French magazines “L’Univers”, “L'Union Chrétienne”, “Revue d’Eglise greque-unie”, etc. The evolution of Solovyov's views on the problem of the union of Eastern and Western churches, the renewal of church communication between Orthodoxy and Catholicism, the main result of which was his fundamental but unfinished work “The History and Future of the Theocracy” was demonstrated. A conclusion about the “superficiality” of the judgments of the majority of Vladimir Solovyov's ideological opponents, as well as later interpreters of his legacy, following the French Jesuit Michel d'Erbigny, who tried to present him as a “Russian Newman” who converted from Orthodoxy into the Catholic faith is drawn. It is shown that Solovyov’s projects of the “religion of the Holy Spirit” and the “Universal Church”, created on its basis, should be considered primarily in the context of his own philosophical quest, and not in connection with the confessional and ideological divergences of his time. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)

Atomic-scale computer simulation has been used to study the thermally activated atomic transport of self-interstitial atoms in the form of planar clusters in pure Cu and f -Fe. There is strong evidence that such clusters are commonly formed in metals during irradiation with high-energy particles and play an important role in accumulation and spatial distribution of surviving defects. An extensive study of the mobility of SIA clusters containing two to 331 interstitials has been carried out using the molecular dynamics simulation (...) technique for the temperature range from 180 to 1200 K. The results obtained show that clusters larger than three to four SIAs are one-dimensionally mobile in both Cu and Fe. Large clusters of more than 100 SIAs in Cu and 300 SIAs in Fe have significantly reduced mobility. The problem of describing one-dimensional motion in three-dimensional space is discussed. An attempt is made to describe the mobility of SIA clusters within the approximation of 1D diffusion. For clusters in both metals the effective migration energy of 1D diffusion as estimated via the jump frequency of the cluster centre of mass is found to be independent of the number of SIAs in the clusters, although the cluster jump frequency decreases with increasing cluster size. Mechanisms of 1D mobility of interstitial clusters are discussed. (shrink)

On the life and works of Averroës, 1126-1198, Islamic religious philosopher.

Islamic philosophy; early works to 1800.

We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.

Faith and religious life in Islam; Islamic education and ethics.

ABSTRACTPrevious studies have identified two powerful ways to regulate emotional responses to a stressor: experiencing incidental positive emotions and using cognitive reappraisal to reframe the stressor. Several cognitive and motivational theories of positive emotion support the formulation that incidental positive emotions may facilitate cognitive reappraisal. To test the separate and interacting effects of positive emotions and cognitive reappraisal, we first adapted an established picture-based reappraisal paradigm by interspersing blocks of positive emotion inducing and neutral pictures. Across two pre-registered studies, reappraisal (...) effectively decreased self-reported negative emotions and increased self-reported positive emotions; however, experiencing incidental positive emotions did not facilitate reappraisal success. In another preregistered study, we employed a more powerful positive emotion induction via virtual reality, used a social stress anticipation task, and... (shrink)

On the basis of the exact solutions to the non-stationary spherically symmetric Einstein and Maxwell equations for dust matter and radial electromagnetic field, a model of a wormhole with the pulsating in time inner world and two static throats has been developed. It has been shown that such a wormhole with an arbitrary radius of the Gaussian curvature can connect both two different asymptotically flat space-times and two regions of the selfsame space-time. The problem of the fulfilment of the energy (...) conditions in this wormhole has been investigated, as well as the problem of its traversability investigation has been set. (shrink)

We show that the lattices of the normal extensions of four well-known logics—propositional intuitionistic logic \, Grzegorczyk logic \, modalized Heyting calculus \ and \—can be joined in a commutative diagram. One connection of this diagram is an isomorphism between the lattices of the normal extensions of \ and \; we show some preservation properties of this isomorphism. Two other connections are join semilattice epimorphims of the lattice of the normal extensions of \ onto that of \ and of the (...) lattice of the normal extensions of \ onto that of \. The link between \ and \ is a well-known isomorphism established by the Blok–Esakia theorem. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

In November 1920, the Red Army completely seized Crimea. On the peninsula the process of formation of state authorities - revolutionary committees, the functions of which included the regulation of relations with all confessions that acted in the Crimea. It should be noted that, since the first years of its existence, the authorities of the new government, despite the fact that the leadership of most confessions actively communicated with the leadership of the army of Baron Wrangel, did not take significant (...) measures to restrict their activities. (shrink)